STRICT DiGraph graph_10_01
{
	node_10_01_1 [fillcolor = red, style = filled]
	node_10_01_2 [fillcolor = green, style = filled]

	node_10_01_1 -> node_10_01_2 [arrowtail = dot, arrowhead = odot]
}
